The Minimum-Norm-Point Algorithm Applied to Submodular Function Minimization and Linear Programming Satoru FUJISHIGE∗, Takumi HAYASHI†, and Shigueo ISOTANI‡ September, 2006

Source URL: www.kurims.kyoto-u.ac.jp

Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces∗ Dedicated to Georg Kreisel on the occasion of his 85th birthday U. Kohlenbach1 , L. Leu¸stean1,2 1

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical analysis
• Mathematics
• Analysis
• Metric geometry
• Operator theory
• Convex analysis
• Convex function
• Injective metric space
• Spectral theory
• Functional analysis
• Browder fixed point theorem
• Uniform boundedness principle

A quantitative version of a theorem due to Borwein-Reich-Shafrir Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus

Source URL: www.mathematik.tu-darmstadt.de

• Mathematics
• Circuit complexity
• NC
• Banach fixed-point theorem
• Auxiliary function
• Differential forms on a Riemann surface

c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN

Source URL: ndmitchell.com

• Software engineering
• Declarative programming
• Lambda calculus
• Computer programming
• Functional programming
• A-normal form
• Let expression
• Fixed-point combinator
• Exponentiation
• Expression
• Monad
• Anonymous function

3. CROSSMATCH Plan: let people write 1=CROSSMATCH(ra1, dec1, ra2, dec2, sr) instead of mess with CIRCLE and POINT.. Trouble: The function is straightforward. However, users might expect a function “closest within match

Source URL: wiki.ivoa.net

• SQL keywords
• D
• Select
• Formal grammar
• Cognitive science
• Academia
• Computing

On the computational content of convergence proofs via Banach limits U. Kohlenbach1∗, L. Leu¸stean2 1 Department of Mathematics, Technische Universit¨

Source URL: www.mathematik.tu-darmstadt.de

• Mathematics
• Mathematical analysis
• Topology
• Banach spaces
• Convex analysis
• Calculus
• Modulus and characteristic of convexity
• Continuous function
• Banach fixed-point theorem
• Uniformly smooth space
• Metric space
• Open set

Three point function in N=4 SYM from integrability D. Serban w/ O. Foda, Y. Jiang, S. Komatsu, I. Kostov, F. Loebbert, A. Petrovskii

Source URL: events.theory.nipne.ro

Numerical Differentiation The aim of numerical differentiation is to obtain an approximation for the derivative of a function at a point in terms of function values in one of the following contexts: when the function is

Source URL: www.maths.dit.ie

Some computational aspects of metric fixed point theory Ulrich Kohlenbach Department of Mathematics Darmstadt University of Technology Schlossgartenstraße 7

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical analysis
• Operator theory
• Mathematics
• Computability theory
• Contraction
• Primitive recursive function
• Differential forms on a Riemann surface
• Distribution

ON TEMPORAL PLANNING AND REASONING WITH POINT-INTERVAL LOGIC by Syed Muhammad Mashhood Ishaque A Thesis Submitted to the Graduate Faculty of

Source URL: www.eecs.tufts.edu

• Algorithm
• Mathematical logic
• Theoretical computer science
• Graph of a function
• Mathematics
• Academia
• Abstraction